反驳树
in the refutation tree of predicate calculus , the proved conjunctive formula.
在谓词演算的反驳树中,被证明的合式公式。
英语网 · 双语娱乐资讯
英语网 · 双语新闻
英语网 · 英语阅读
英语网 · 商务英语